What I intend to do in the following pages is to focus on what might be termed the most important turn in the very dimension of ideality throughout the history of Western culture: the introduction of the notion of ideal drawn from Plato’s notion of idea, and especially its singular contemporary destiny. In the first part of the article, I am going to analyze Kant’s introduction of the notion of ideal and Hegel’s reading of it, and I am going to (...) argue that the former affirms a dualistic relationship which the latter negates. In the second part of the article, I am going to reason on the actual effects of both the affirmation and the negation of the dualism between the ideal and the real, especially focusing on the forms of totalitarianism and anarchism which characterized the twentieth-century history of Western culture. This will lead me to argue that we should try to avoid both the bad uses of the ideal and the death of the ideal in order to work on a notion of ideal which could be an exceedingly promising tool for us to change and improve the real. This change and improvement can be achieved through the affirmation of the dualistic relationship between the ideal and the real, and more specifically through what I will call an evolutionary notion of ideal versus a revolutionary notion of ideal. (shrink)

Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to their specification. We present a formal specification of the ontologies part of the Web Services Modeling Language WSML documentation as a conceptual model in ORM2. Such an approach abstracts the semantics about ontological constructs, axioms, and properties from their implementation in arbitrary formats, thereby making the model easily understandable and reusable. This formal model in ORM2, which is understandable (...) by both logician and software developer, can be used as any other conceptual model to develop applications, thereby ensuring smooth transition from theory to implementations that are faithful to the theory. (shrink)